Hierarchical Model of a Systolic Array for Solving Differential Equations Implemented as an Upgraded Petri Net

نویسندگان

  • PERICA STRBAC
  • MILAN TUBA
  • DANA SIMIAN
  • Lucian Blaga
چکیده

The objective of this paper is to develop a hierarchical model of a systolic array which solves differential equations by using Upgraded Petri Net (UPN). The Upgraded Petri Net presents a formal modeling tool, based on mathematical apparatus, used for simulation and analysis of processes, particularly at the register transfer level. Original software for modeling and simulations of Upgraded Petri Nets, PeM (Petri Net Manager), is developed and used for all models described in this paper. This software supports: UPN formal theory, graphical modeling, simulation and analysis of an UPN model. This paper includes a preface on the UPN theory, the UPN models formulation, the UPN models of a processing element of a systolic array which solves differential equation, their simulation and analysis. The first hierarchical level refers to the high level systolic array modeling. This model shows processing elements that calculate or pass their input to the output. Thus, the next processing element uses the results from the previous one. The second level model is more detailed and refers to a single processing element. This model is capable to generate solution of a differential equation through UPN execution based on Taylor’s method. This execution is based on parralel firing of a group of transitions. The results are stored into a *.mem file inside the PeM. The suitability of UPN for modelling of the systems at different levels of abstraction is examined and established. Key-Words: Upgraded Petri Net, Systolic Architecture, Modeling

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Soccer Goalkeeper Task Modeling and Analysis by Petri Nets

In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...

متن کامل

Modeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets

One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...

متن کامل

Convergence of the multistage variational iteration method for solving a general system of ordinary differential equations

In this paper, the multistage variational iteration method is implemented to solve a general form of the system of first-order differential equations. The convergence of the proposed method is given. To illustrate the proposed method, it is applied to a model for HIV infection of CD4+ T cells and the numerical results are compared with those of a recently proposed method.

متن کامل

Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism

Hierarchical Petri nets beside UML state machine diagrams, sequentional function charts (SFC) and hierarchical concurrent state machines are common solution for specification of logic controllers. These specification formats provide both concurrency and modeling on multi levels of abstraction (hierarchic approach). But only state machine diagrams supports exceptions handling in direct way. Prog...

متن کامل

A numerical method for solving delay-fractional differential and integro-differential equations

‎This article develops a direct method for solving numerically‎ ‎multi delay-fractional differential and integro-differential equations‎. ‎A Galerkin method based on Legendre polynomials is implemented for solving‎ ‎linear and nonlinear of equations‎. ‎The main characteristic behind this approach is that it reduces such problems to those of‎ ‎solving a system of algebraic equations‎. ‎A conver...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009